81. Formal verification :
پدیدآورنده : Erik Seligman, Tom Schubert, M.V. Achutha Kiran Kumar
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic circuits-- Testing,Integrated circuits-- Very large scale integration-- Design and construction,Verilog (Computer hardware description language)
رده :
TK7867
82. Formal verification : an essential toolkit for modern VLSI design
پدیدآورنده : Seligman, Erik
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Testing ، Electronic circuits,Design and construction ، Integrated circuits -- Very large scale integration,، Verilog )Computer hardware description language(
رده :
TK
7867
.
S46F6
83. Functional design errors in digital circuits
پدیدآورنده : / Kai-hui Chang, Igor L. Markov, Valeria Bertacco
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Digital integrated circuit--Testing,Digital integrated circuit--Design and construction,Integrated circuit--Fault tolerance,Integrated circuit--Verification
رده :
E-BOOK
84. Functional verification coverage measurement and analysis
پدیدآورنده : Piziali, Andrew.
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : Verification ، Integrated circuits
رده :
TK
7874
.
58
.
P58
2004
85. Functional verification coverage measurement and analysis
پدیدآورنده : / by Andrew Piziali
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Integrated circuits- Verification
رده :
TK7874
.
58
.
P58
2004
86. Generating Hardware Assertion Checkers
پدیدآورنده : \ Marc Boulé, Zeljko Zilic
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Integrated circuits -- Very large scale integration -- Computer-aided design. ,Integrated circuits -- Verification. ,مدارهای مجتمع -- مجتمع‌سازی در مقیاس بسیار بزرگ -- طراحی به کمک کامپیوتر,مدارهای مجتمع -- راستی‌آزمایی
رده :
E-Book
,
87. Generating hardware assertion checkers
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : aided design. ; Integrated circuits ; Verification. ; Error analysis (Mathematics) ; -Integrated circuits ; Very large scale integration ; Computer
88. Hardware Description Languages and their Applications :
پدیدآورنده : edited by Carlos Delgado Kloos, Eduard Cerny.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Machinery.
89. Hardware Description Languages and their Applications :
پدیدآورنده : edited by Carlos Delgado Kloos, Eduard Cerny.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science.,Machinery.
رده :
TK7888
.
3
E358
1997
90. Hardware and software, verification and testing
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer systems ; Verification ; Congresses. ; Computer software ; Verification ; Congresses. ; Computer programs ; Verification ; Congresses. ; Integrated circuits ; Verification ; Congresses. ;
91. Hardware design verification
پدیدآورنده : / William K. Lam
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Integrated circuits- Verification
رده :
TK7874
.
58
.
L36
2005
92. Hardware design verification: simulation and formal method-based approaches
پدیدآورنده : Lam, William K. C.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع : Verification ، Integrated circuits
رده :
TK
7874
.
58
.
L36
93. Hardware design verification :simulation and formal method-based approaches. ]CD[
پدیدآورنده : Lam, William K. C., William K. Lam
موضوع : Verification ، Integrated circuits
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
94. Hardware design verification : simulation and formal method-based approaches
پدیدآورنده : Lam, William K. C., 2691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Integrated circuits -- Verification
رده :
TK
7874
.
58
.
L248H2
95. Hardware specification, verification, and synthesis : Mathematical aspects : Proceedings
پدیدآورنده : M. Leeser, G. Brown, eds
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Design and construction -- Data processing -- Congresses ، Integrated circuits -- Very large scale integration
رده :
QA
76
.
L28
Vol
.
408
96. Hardware specification, verification, and synthesis: Mathematical aspects: proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : Congresses ، Integrated circuits-- Very large scale integration-- Design and construction-- Data processing,Congresses ، Integrated circuits-- Verification
رده :
TK
7874
.
C685
1989
97. Hardware verification with C++ :
پدیدآورنده : Mike Mintz, Robert Ekendahl.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : C++ (Computer program language),Integrated circuits-- Verification.
98. Hardware verification with SystemVerilog
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : oriented programming (Computer science) ; -Verilog (Computer hardware description language) ; Integrated circuits ; Verification. ; Object
99. Integrated Circuit Authentication
پدیدآورنده : \ Mohammad Tehranipoor, Hassan Salmani, Xuehui Zhang
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Integrated circuits -- Verification.,Hardware Trojans (Computers),مدارهای مجتمع -- راستی‌آزمایی
رده :
E-Book
,
100. Integrated circuit authentication
پدیدآورنده : / Mohammad Tehranipoor, Hassan Salmani, Xuehui Zhang
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Integrated circuits, Verification,Hardware Trojans (Computers),Engineering,Circuits and Systems,Processor Architectures,Electronic Circuits and Devices
رده :
E-BOOK
